\begin{tabbing}
ma{-}interface{-}glued{-}p(${\it es}$;$A$;$I$;$l$;${\it tg}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=ma{-}interface{-}consistent(${\it es}$;$I$)\+
\\[0ex]\& ($\forall$$e$:E. (kind($e$) = rcv($l$,${\it tg}$)) $\Rightarrow$ (valtype($e$) $\subseteq$r $A$))
\\[0ex]\& glued(${\it es}$; $A$; ($\lambda$$e$.[[$I$]]($e$)); [[$I$]]; es{-}in{-}port(${\it es}$;$l$;${\it tg}$))
\-
\end{tabbing}